Contract-orientented System Design & Speciication 1 High-level System Design & Speciication

نویسنده

  • Wolfgang Mueller
چکیده

This paper is mainly based on the work done in the ESPRIT project ECIP2, Ref. #2072, on high-level system speci cation [LEB91, MUE90]. The goal within this work was rst to enlighten the main streams and activities during the very early phases of contract-oriented high-level system design and speci cation. Second, based on the rst evaluation, the applicability of the IEEE standard hardware description language VHDL should be studied. In this paper I will only concentrate on the rst topic and on applicable standards.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Synthesizable Vhdl Code Generation from Data Flow Graph

This paper discusses how we generate a VHDL code for a DSP application described in a data ow graph(DFG). Because the generated VHDL code contains only synthesizable constructs and implements details of control logics we can easily transform it into a running hardware module using logic synthesis tools. This facility is very useful for DFG based high level system design tools including our code...

متن کامل

System Level Design for System on a

We present the systems requirements generation and executable speciication capture of a single chip LAN Adapter for communicating using the IEEE 1394 Serial Bus Protocol. The requirements generation starts with high level performance simulation and then passes to an executable speciication suitable for implementation using a hardware/software co-design tool. The reuse of pre-existing components...

متن کامل

Indiana University Computer Science Department toward a Basis for Protocol Speciication and Process Decomposition toward a Basis for Protocol Speciication and Process Decomposition

In a formalism of top-down design, we consider the decomposition of behavioral speci-cations into interacting sequential components. The higher level of description speciies the operations to be performed in a major computation step. The goal is to incorporate a given interface speciication in a lower-level speciication that accounts for interactions with and among sequential components. This c...

متن کامل

Speciication and Design of Embedded Software/hardware Systems

System speciication and design consists of describing a system's desired functionality, and of mapping that functionality for implementation on a set of system components, such as processors, ASIC's, memories, and buses. In this article, we describe the key problems of system speciication and design, including speciication capture, design exploration, hierarchical modeling, software and hardwar...

متن کامل

Computer - Aided Design of a Generic Robot Controller HandlingReactivity and Real - Time Control

This paper describes an original system, Orccad, for the computer-aided design of robot controllers. Accessed by three diierent user levels (system, control and application), it proposes a coherent approach from a high level speciication down to its implementation, and ooers several tools for design, display and test. Following a critical study of the main architectures reported through the lit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008